A Complete Bibliography of Publications in Lisp and Symbolic Computation

نویسنده

  • Nelson H. F. Beebe
چکیده

86, 128]. Abstraction [62]. Acid [89]. Adding [119]. Addison [19, 25]. Addison-Wesley [19, 25]. Algebraic [17]. Algorithm [122]. Algorithms [85]. Analysis [20, 36, 46, 88, 99, 102, 103, 110]. Answer [50]. Applicable [13]. Application [88, 89]. Applications [69]. Applicative [6]. Approach [30, 36, 48, 70]. Architecture [27, 52, 114]. Aren’t [18]. Arity [30]. Arrays [16]. Artificial [15]. Assignment [78]. Associates [15]. Author [140]. Automatic [20, 123]. Baker [50]. Balancing [68]. Based [29, 45, 84, 108, 111, 128]. Basis [85]. Benchmark [40]. Benjamin [41]. Benjamin/Cummings [41]. better [113]. Binding [99, 102]. Binding-Time [99]. Book [4, 15, 19, 25, 33, 41]. Boston [4]. Bromley [4]. Browser [39]. Calculus [76, 93, 110]. Call [82]. Call-by-need [82]. Callee [59].

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Complete Bibliography of Publications in Higher-Order Symbolic Computation

p [6]. -Calculus [6]. Actor [9]. Algorithmic [2]. Approach [5]. Binding [8]. Calculus [6, 13]. Composable [9]. CPS [5]. Definitional [10, 11]. Direct [6]. Dynamic [8]. Editorial [1]. Extended [13]. First [12]. Generalization [3, 4]. Higher [11]. Higher-Order [11]. Interpreter [13]. Interpreters [10, 11]. Introduction [3]. Jumps [3, 4]. Labels [3, 4]. Lambda [13]. Landin [3]. Language [2]. Langu...

متن کامل

Visual Lisp/CLOS programming in OpenMusic

OpenMusic (OM) is a visual programming language developed on top of Common Lisp and CLOS, in which most of the functional and object-oriented programming concepts can be implemented and carried out graphically. Although this visual language was designed for musical applications, the focus in this paper is to describe and study OM as a complete general-purpose programming environment.

متن کامل

A Complete Bibliography of Publications in the Journal of Symbolic Computation

(1 + i) [Wei00]. (1, 1) [FES11]. (i, j) [MP04]. (k, 3) [HJ15]. (N,N) [Sha01]. (n − 1) [RW90]. (w, σ) [AP10]. (xy)z = y(zx) [HJM93, HJM94]. ∗ [Con93]. 0/0 [Chi08]. 1 [FFP98, Mos08]. 1000 [RDU03]. 112 [KLZA12]. 12 [BCE01]. 15 [KM00b]. 17 [Wil93]. 2 [AKS12, Cre01, DS02, Eic10, GS12, HLM95, JPPSG09, Kos07, Sha01, SW97b, Wil90]. 23 ≤ n ≤ 26 [Ng89]. 2 [Wur93]. 2A [Mat01b]. 3 [JWC16, LN13, LMM05, Wil9...

متن کامل

Relative Specification and Transformational Re-Use of Functional Programs

A relative speciication is a collection of laws relating the behaviour of a required new program to that of one or more existing programs. A two stage method for transforming such relative speciications into eeective functional programs is described and illustrated. The inversion stage rearranges the specifying laws to obtain a collection of partial deenitions for each unknown function, typical...

متن کامل

VLISP: A Verified Implementation of Scheme

It's coming again, the new collection that this site has. To complete your curiosity, we offer the favorite vlisp a verified implementation of scheme book as the choice today. This is a book that will show you even new to old thing. Forget it; it will be right for you. Well, when you are really dying of vlisp a verified implementation of scheme, just pick it. You know, this book is always makin...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999